-
1 calculus
-
2 calculus
исчисление
– Boolean calculus
– calculus of probability
– calculus of variations
– differential calculus
– extended calculus
– functional calculus
– infinitesimal calculus
– integral calculus
– logical calculus
– matrix calculus
– operational calculus
– predicate calculus
– problem calculus
– propositional calculus
– sentential calculus
– spinor calculus
– tensor calculus
– vector calculus
one-place predicate calculus — исчисление одноместных предикатов
-
3 calculus
calculus исчислениеextended propositional calculus расширенное пропозициональное исчислениеfunctional calculus функциональное исчислениеmany-valued propositional calculus многозначное пропозициональное исчислениеpredicate calculus исчисление предикатовpropositional calculus пропозициональное исчислениеrestricted predicate calculus узкое исчисление предикатовEnglish-Russian dictionary of biology and biotechnology > calculus
-
4 calculus
-
5 calculus
[̈ɪˈkælkjuləs]calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление calculus исчисление calculus калькуляция calculus (pl -li) мед. камень calculus of probability теория вероятностей calculus of variations вариационное исчисление certainty calculus исчисление достоверности calculus (pl -es) мат. исчисление; differential calculus дифференциальное исчисление extended calculus расширенное исчисление first order predicate calculus исчисление предикатов первого порядка frame calculus исчисление фреймов integral calculus интегральное исчисление lambda calculus лямбда-исчисление logical calculus логическое исчисление predicate calculus исчисление предикатов program calculus исчисление программ propositional calculus исчисление высказываний relational calculus реляционное исчисление sentential calculus исчисление высказываний situational calculus ситуационное исчисление -
6 calculus
1. n мат. исчисление2. n калькуляция3. n мед. камень -
7 calculus
вычисление; исчисление -
8 calculus
метод расчёта; метод вычисления
* * *
* * *
вычисление, исчислениеАнгло-русский словарь нефтегазовой промышленности > calculus
-
9 calculus
исчисление имя существительное:конкремент (calculus, concretion)камешек (stone, concretion, calculus) -
10 calculus
-
11 calculus
-
12 calculus
-
13 calculus
-
14 исчисление конечных разностей
Англо-русский словарь технических терминов > исчисление конечных разностей
-
15 calculus
формальная математическая система, задаваемая множеством базовых символов, множеством синтаксических правил для порождения из базовых элементов произвольных, множеством аксиом (заведомо истинных элементов данного исчисления) и множеством правил вывода (семантических правил), с помощью которых из одних элементов системы порождаются другие. В зависимости от видов указанных множеств существует ряд различных исчисленийсм. тж. predicate calculusАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > calculus
-
16 исчисление вероятностей
Большой англо-русский и русско-английский словарь > исчисление вероятностей
-
17 исчисление ошибок
Большой англо-русский и русско-английский словарь > исчисление ошибок
-
18 calculus of enlargement
Большой англо-русский и русско-английский словарь > calculus of enlargement
-
19 calculus of errors
Большой англо-русский и русско-английский словарь > calculus of errors
-
20 calculus of finite differences
Большой англо-русский и русско-английский словарь > calculus of finite differences
См. также в других словарях:
Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… … Википедия
Исчисление общающихся систем — Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS) это исчисление процессов, введённое Робином Милнером около 1980, и название его книги, описывающей это исчисление. Исчисление работает с моделью… … Википедия
Исчисление процессов — (алгебра процессов) семейство связанных подходов к формальному моделированию конкурентных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем… … Википедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
исчисление вероятностей — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN probability calculus … Справочник технического переводчика
исчисление высказываний — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN propositional calculus … Справочник технического переводчика
исчисление предикатов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN predicate calculus … Справочник технического переводчика
Calculus probabilium — (лат.) исчисление вероятностей. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 … Философская энциклопедия
Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) … Википедия
исчисление — skaičiavimas statusas T sritis automatika atitikmenys: angl. calculation; calculus; computation vok. Berechnung, f; Kalkulation, f; Rechnung, f; Zählung, f rus. вычисление, n; исчисление, n; расчёт, m; счёт, m pranc. calcul, m; compte, m … Automatikos terminų žodynas
исчисление — skaičiuotė statusas T sritis fizika atitikmenys: angl. calculus vok. Rechnung, f rus. исчисление, n pranc. calcul, m … Fizikos terminų žodynas